An Overview of Cafe Project
نویسندگان
چکیده
Cafe is the name of an environment for systematic development of formal speci cations based on algebraic speci cation techniques. The concept of Cafe was conceived by the rst author around 1990 at ETL 1 as a successor of the OBJ language system. The development of Cafe has been supported by IPA 2 from 1992, and the rst version of CafeOBJ (a main speci cation language of Cafe ) was released in December 1995. Cafe is designed to support semantic representations of problems and reasoning methods which current generation of CASE tools are lacking. CafeOBJ is a new member of OBJ [3, 9, 16] language family. One of the the most important features of CafeOBJ is its constructs for object-oriented modeling (OOM). A larger scale project for developing a netwark based uni ed evnironment for CafeOBJ including veri er/checker, browser/editor, and library/cases is promised to be supported by IPA. This paper gives an overview of the new Cafe project.
منابع مشابه
Editorial : Sustainable Development of Cognitive Science and Technology Ecosystem an Overview to the “Human Brain Project” as a Functioning Sample
متن کامل
The ESPRIT Project CAFE - High Security Digital Payment Systems
CAFE (“Conditional Access for Europe”) is an ongoing project in the European Community's ESPRIT program. The goal of CAFE is to develop innovative systems for conditional access, and in particular, digital payment systems. An important aspect of CAFE is high security of all parties concerned, with the least possible requirements that they are forced to trust other parties (so-called multi-party...
متن کاملCorporate Average Fuel Economy Standards and the Market for New Vehicles
This paper presents an overview of the economics literature on the effect of Corporate Average Fuel Economy (CAFE) standards on the new vehicle market. Since 1978, CAFE has imposed fuel economy standards for cars and light trucks sold in the U.S. market. This paper reviews the history of the standards, followed by a discussion of the major upcoming changes in implementation and stringency. It d...
متن کاملMIT / WHOI 2013 - 07 The CAFE Experiment : A Joint Seismic and MT Investigation of the Cascadia
............................................................................106 Overview ...........................................................................107 Theoretical underpinnings .....................................................112 A closer look at the stabilizing functional ..................................116 Exploration .......................................................
متن کاملSpeech-based conversation environment for dynamic knowledge interaction
We propose a speech-based conversation environment called Voice Cafe for facilitating dynamic knowledge interaction. Dynamic knowledge interaction is a key concept for creative interaction. Conversation is one of important interactions that facilitates dynamic knowledge interaction. In Voice Cafe, users can talk with conversational agents being equipped with automatic speech recognition (ASR) a...
متن کامل